1. A shorter model theory
پدیدآورنده : Hodges, Wilfrid, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
H62
2. Building models by games
پدیدآورنده : Hodges, Wilfrid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory,، Game theory
رده :
QA
9
.
7
.
H63
1985
3. Conference in Mathematical Logic, London '70
پدیدآورنده : Edited by Wilfrid Hodges
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
C6
1970
4. Conference in Mathematical Logic, London '70
پدیدآورنده : Edited by Wilfrid Hodges
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
255
5. Conference in Mathematical Logic London' 70
پدیدآورنده : edited by Wilfrid Hodges
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
255
6. Logic
پدیدآورنده : by Wilfrid Hodges,Title
کتابخانه: کتابخانه و مرکز اسناد پژوهشگاه فرهنگ، هنر و ارتباطات (تهران)
موضوع : Logic
رده :
BC
.
H58
,
l6
108
1977
7. Logic
پدیدآورنده : Hodges, Wilfrid
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Logic
رده :
BC
108
.
H6
L6
1977
8. Logic
پدیدآورنده : / by Wilfrid Hodges,Hodges
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic
رده :
BC
108
.
H64
9. Logic
پدیدآورنده : Hodges, Wilfrid, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic
رده :
BC
108
.
H63L6
10. Logic, ]Harmondsworths, Middlesex, Eng[
پدیدآورنده : Hodges, Wilfrid,1491
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic
رده :
BC
108
H6
11. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
پدیدآورنده : / [edited by] Wilfrid Hodges, Ruy de Queiroz.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
12. Mathematical logi
پدیدآورنده : / Ian Chiswell and Wilfrid Hodges
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
QA
,
9
.
2
,.
C45
,
2007eb
13. Mathematical logic
پدیدآورنده : Chiswell, Ian,8491-, Ian Chiswell and Wilfrid Hodges
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
C45M3
2007
14. Mathematical logic
پدیدآورنده : / Ian Chiswell and Wilfrid Hodges
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
15. #Model theory
پدیدآورنده : #Wilfrid Hodges
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Model theory
رده :
#
QA
،#.
H64
16. Model theory
پدیدآورنده : Hodges, Wilfrid, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
H6
17. راهي نو در منطق
پدیدآورنده : /نوشته ويلفريد هاجز ,هاجز ، ويلفريد,Hodges , Wilfrid
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : منطق
رده :
۱۶۰
ـه
۱۴۶
ر
18. راهی نو در منطق
پدیدآورنده : هاجز، ویلفرید Hodges, Wilfrid
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : منطق
رده :
BC
۱۰۸
/
هـ
۲
ر
۴۲ ۱۳۶۴
19. راهی نو در منطق
پدیدآورنده : هاجز، ویلفرید، ۱۹۴۱ - م. Hodges, Wilfrid
کتابخانه: کتابخانه و موزه ملی ملک (تهران)
موضوع : منطق
رده :
۱۶۰
هـ
۱۴۶
ر
/
آت
۱۳۶۴
20. راهی نو در منطق
پدیدآورنده : هاجز، ویلفرید Hodges, Wilfrid
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : منطق
رده :
BC
۱۰۸
/
هـ
۲
ر
۲ ۱۳۶۴
